0.20^{17}